Maintenance Support for Untyped Object-Oriented Programs
نویسنده
چکیده
The software development paradigm of object-oriented (OO) programming has become increasingly popular in recent years. Features not available in conventional programming languages such as inheritance, dynamic binding and polymorphism offer advantages, they also raise problems of maintaining object-oriented programs. Some object-oriented languages do not allow type annotations to be specified in programs, which makes even more difficult to analyse and maintain those programs. A notable example is Smalltalk where variables are declared simply by listing their names. Studying of support for maintaining untyped object-oriented programs is the research theme of my doctoral work.
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملUsing Visualization to Foster Object-Oriented Program Understanding
Software development and maintenance tasks rely on and can beneet from an increased level of program understanding. Object-oriented programming languages provide features which facilitate software maintenance, yet the same features often make object-oriented programs more diicult to understand. We support the use of program visualization techniques to foster object-oriented program comprehensio...
متن کاملSupport for Maintaining Object
In this paper, we explain how inheritance and dynamic binding make object-oriented programs diicult to maintain, and we give a concrete example of the problems that arise. We show that the diiculty lies in the fact that conventional tools are poorly suited for work with object-oriented languages, and we argue that semantics-based tools are essential for eeective maintenance of object-oriented p...
متن کاملA Type System and Type Soundness for the Calculus of Aspect-Oriented Programming Languages
The formal study of class of functional and procedure-oriented programming languages is well-defined and uses λ-calculus as the main tool. With the advent of object calculi, the formal study of object-oriented programming languages is also well developed and understood. Since the paradigm of aspect-oriented programming is new, formal theory for the same is under development. The proposed untype...
متن کاملA Calculus of Untyped Aspect-Oriented Programs
Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspects is typically specified by appealing to an underlying object-oriented language via a compiler transformation known as weaving. This treatment is unsatisfactory for several reasons. Firstly, this semantics violates basic modu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998